home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / lang / c++-part1 / 9748 < prev    next >
Encoding:
Internet Message Format  |  1996-08-05  |  2.1 KB
  1. Path: goanna.cs.rmit.EDU.AU!not-for-mail
  2. From: ok@goanna.cs.rmit.EDU.AU (Richard A. O'Keefe)
  3. Newsgroups: comp.lang.ada,comp.lang.c,comp.lang.c++
  4. Subject: Re: C/C++ knocks the crap out of Ada
  5. Date: 4 Mar 1996 16:15:13 +1100
  6. Organization: Comp Sci, RMIT, Melbourne, Australia
  7. Message-ID: <4hdu91$78o@goanna.cs.rmit.EDU.AU>
  8. References: <JSA.96Feb16135027@organon.com> <1996Feb22.005518.13396@leeweyr.sccsi.com> <4gvrffINNlqo@anvil.ugrad.cs.ubc.ca> <SPENCER.96Feb29102241@zorgon.ERA.COM> <4h5bptINN9oi@anvil.ugrad.cs.ubc.ca>
  9. NNTP-Posting-Host: goanna.cs.rmit.edu.au
  10. X-Newsreader: NN version 6.5.0 #0 (NOV)
  11.  
  12. c2a192@ugrad.cs.ubc.ca (Kazimir Kylheku) writes:
  13.  
  14. >Whether C is more or less unsafe than Ada is truly debatable.  A
  15. >standard-conforming, _quality_ implementation of either language coupled with
  16. >adherent programs subject to rigorous quality control is suitable for
  17. >safety-critical software.
  18.  
  19. If someone can tell me where I can get a "quality" implementation of C
  20. for the same price as a "quality" implementation of Ada, I will JUMP at it.
  21.  
  22. At the moment, my C practice is to put code before lint before I compile it
  23. (I look forward to installing lclint version 2.0, and would LOVE to try
  24. FlexeLint version 7.00), and then compile with three different compilers
  25. all with warnings enabled.  Thanks to lclint, this can pick up some things
  26. that the GNAT compiler doesn't pick up in Ada (Larch for Ada, anyone?).
  27. On the other hand, it misses a lot of things that GNAT for Ada _does_ find.
  28. And it certainly doesn't give me the same _run-time_ checks I can get with
  29. GNAT for Ada.
  30.  
  31. There are things that the best tools for C cannot check because you cannot
  32. state them in the language.  There are also things that the best tools for
  33. Ada cannot check because you cannot state them in the language.  AT&T's
  34. "App" helps because it can check things you can't easily say in standard C.
  35. Anna tools would provide the same kind of helps for Ada (is there a free
  36. Anna for use with GNAT?).
  37.  
  38. -- 
  39. The election is over, and Australia lost; the idjits elected _politicians_!
  40. Richard A. O'Keefe; http://www.cs.rmit.edu.au/~ok; RMIT Comp.Sci.
  41.